121. Mathematical thinking and writing :a transition to abstract mathematics
پدیدآورنده : Maddox, Randall B.
کتابخانه: (طهران)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
M34
2002
122. Mathematical thinking and writing :a transition to abstract mathematics
پدیدآورنده : Maddox, Randall B.
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
M34
2002
123. Mathematical undecidability, quantum nonlocality, and the question of the existence of God
پدیدآورنده : edited by Alfred Driessen and Antoine Suarez
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Physics- Philosophy,، Mathematics- Philosophy,، Quantum theory,، God- Proof, Ontological
رده :
QC
6
.
M357
1997
124. Meditations on first philosophy
پدیدآورنده : / Renae Descartes
کتابخانه: كتابخانه مركزی دانشگاه علوم بهزیستی و توانبخشی (طهران)
موضوع : First philosophy,God--Proof, Ontological,Methodology,Knowledge, Theory of
رده :
B1853
.
E5
,
M67
2008
125. Meditations on first philosophy in focus
پدیدآورنده : Rene Descartes ; edited and with an introduction by Stanley Tweyman,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : First philosophy - Early works to 1800,God - Proof, Ontological - Early works to 1800,Methodology,Knowledge, Theory of,Descartes, Rene, - 1596-1650 - Views on methodology
رده :
B
.
E5H44
1853
1993
126. Meditations on first philosophy :with selections from the Objections and replies
پدیدآورنده : Descartes, Renعe
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، First philosophy,Proof, Ontological ، God,، Methodology,، Knowledge, Theory of
رده :
B1853
.
E5
M67
2008
127. Meditations on first philosophy with selections)ebook(
پدیدآورنده : Rene Descartes; Translated with an Introduction and notes by Michael Moriaty,Title
کتابخانه: (طهران)
موضوع : first philosophy,god- proof,ontological,Methodology,knowledge, theory of
رده :
B
E5M67
1853
128. Memoirs of a proof theorist : Godel and other logicians
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: (طهران)
موضوع : ، Proof theory,، Godel, Kurt Friedrich, 6091-8791
رده :
QA
9
.
54
.
T25G4313
2003
129. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;
130. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
131. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : / A. S. Troelstra
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Intutitionistic mathematics,Proof Theory,Model Theory
رده :
510
.
8
Me
132. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
رده :
QA
3
.
L28
no
.
344
133. Methods of Cut-Elimination
پدیدآورنده : / Matthias Baaz, Alexander Leitsch
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving,Proof theory,اثبات قضیه ماشینی,اثبات نظریه
رده :
QA76
,.
9
.
A96
,
B33
2011
134. Mystical experience of God : a philosophical inquiry
پدیدآورنده : Gellman, Jerome I.
کتابخانه: مكتبة, ومركز المعلومات ومركز الوثائق العلمية لمركز بحوث الحوزة والجامعة (قم)
موضوع : ، Mysticism - History,، Experience )Religion(,، Knowledge, Theory Of,، Gud - Proof, Empirical
رده :
BL
625
.
G4M9
2001
135. Mystical experience of God: a philosophical inquiry
پدیدآورنده : Gellman, Jerome I
کتابخانه: (قم)
موضوع : ، Mysticism,، Experience )Religion(,، Knowledge, Theory of )Religion(,Proof, Empirical ، God
رده :
BL
625
.
G44
2001
136. Normalization, cut-elimination, and the theory of proofs /
پدیدآورنده : A.M. Ungar.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory.,Beweistheorie,Bewijstheorie.,Proof theory.,Proof theory.
رده :
QA9
.
54
.
U54
1992
137. Normalization, cut-elimination, and the theory of proofs
پدیدآورنده : Ungar, Anthony M., 5491-
کتابخانه: (طهران)
موضوع : ، Proof theory
رده :
P
25
.
C28
No
.
28
138. Numbers and proofs
پدیدآورنده : Allenby, R.B.J.T
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Number thory,، Proof theory
رده :
QA
241
.
A4
N5
1997
139. Numbers and proofs /
پدیدآورنده : R.B.J.T. Allenby.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory.,Beweis,Bewijstheorie.,Einführung,Mathematik,Proof theory.,Zahlentheorie
رده :
QA9
.
54
.
A55
1997
140. On the shape of mathematical arguments
پدیدآورنده : Gasteren, Antonetta J. M.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
G37
1990
